REF, NoConds
BHyp $a  == (if (($a) = 0) then BackThruSomeHyp else BHyp ($a) ) 

latex

Up	Tactics as terms
FDL editor aliases	-bh